منابع مشابه
Function Interval Arithmetic
We propose an arithmetic of function intervals as a basis for convenient rigorous numerical computation. Function intervals can be used as mathematical objects in their own right or as enclosures of functions over the reals. We present two areas of application of function interval arithmetic and associated software that implements the arithmetic: (1) Validated ordinary differential equation sol...
متن کامل1 Interval Arithmetic
Quantum mechanics is an area which, over the last ten years or so, has sparked a respectable amount of rigorous computer assisted work The purpose of this review is to select a piece of that body of work, and to give a more or less detailed account, both of the quantum mechanical problem surrounding the computer work and of the computer assisted proof itself. We hope this will be enlightening s...
متن کاملInterval Arithmetic and Standardization
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficiently implemented. Hence, the time is ripe for standardization. In this paper we present an interval model that is mathematically sound and closed for the 4 basic operations. The model allows for exception free interval a...
متن کاملInterval Arithmetic and Standardization
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficiently implemented. Hence, the time is ripe for standardization. In this paper we present an interval model that is mathematically sound and closed for the 4 basic operations. The model allows for exception free interval a...
متن کامل1 Interval Arithmetic Inquantum
Quantum mechanics is an area which, over the last ten years or so, has sparked a respectable amount of rigorous computer assisted work The purpose of this review is to select a piece of that body of work, and to give a more or less detailed account, both of the quantum mechanical problem surrounding the computer work and of the computer assisted proof itself. We hope this will be enlightening s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 2001
ISSN: 0004-5411,1557-735X
DOI: 10.1145/502102.502106